退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在名义Isabelle Crary的等值检验的完整性证明中形式化
Julien Narboux; Christian Urban;
机译:Isabelle名义上的一般约束和Alpha等价
机译:使用名义伊莎贝尔(Isabelle)的Godel不完全性定理的机械证明
机译:与A,C和AC功能符号的标称字母等效项的形式化
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:CrypticIBDcheck:一个R包用于检查名义上不相关的隐秘相关性个人
机译:Isabelle Crary的等效性检查完整性证明的形式化
机译:等效检查方法,等效检查程序及等效检查装置
机译:等效检查方法,等效检查程序和等效检查装置
机译:等效检查方法,等效检查程序和等效检查程序的生成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。